home *** CD-ROM | disk | FTP | other *** search
/ FM Towns: Free Software Collection 6 / FM Towns Free Software Collection 6.iso / ms_dos / happy / language.doc < prev    next >
Encoding:
Text File  |  1993-07-08  |  30.0 KB  |  645 lines
  1. ==============================================================================
  2.  
  3. 　　　　　　　　ＨＡＰＰｙ　(H.Asano Pascal Processing system)
  4.                                    Version 0.0
  5.  
  6. 　　　　　　　　　　ＨＡＰＰｙ　Ｐａｓｃａｌ　文　法　書
  7.  
  8. 　　　　　　　　　　　　　 Copyright (c) H.Asano 1992 
  9.  
  10. ==============================================================================
  11.  
  12.  
  13. 　　　┌───────　目　　次　─────────┐
  14. 　　　│　　　　　　　　　　　　　　　　　　　　　　│
  15. 　　　│　　１．はじめに　　　　　　　　　　　　　　│
  16. 　　　│　　２．Ｐａｓｃａｌの特徴　　　　　　　　　│
  17. 　　　│　　３．文法の記述方法　　　　　　　　　　　│
  18. 　　　│　　４．記号と記号分離子　　　　　　　　　　│
  19. 　　　│　　　４．１　文字セット　　　　　　　　　　│
  20. 　　　│　　　４．２　特殊記号　　　　　　　　　　　│
  21. 　　　│　　　４．３　名前　　　　　　　　　　　　　│
  22. 　　　│　　　４．４　指令　　　　　　　　　　　　　│
  23. 　　　│　　　４．５　数　　　　　　　　　　　　　　│
  24. 　　　│　　　４．６　ラベル　　　　　　　　　　　　│
  25. 　　　│　　　４．７　文字列　　　　　　　　　　　　│
  26. 　　　│　　　４．８　記号分離子　　　　　　　　　　│
  27. 　　　│　　　４．９　代替表現　　　　　　　　　　　│
  28. 　　　│　　５．定数定義　　　　　　　　　　　　　　│
  29.   　　│　　　──以下  未完成かつ未定──　　　　　│
  30. 　　　│　　　　　　　　　　　　　　　　　　　　　　│
  31.   　　│　　　なので、各種の表をのせておきました。　│
  32. 　　　└──────────────────────┘
  33.  
  34.  
  35.  
  36. １．はじめに
  37.  
  38. 　　　プログラミング言語Ｐａｓｃａｌは、Ｃ言語よりいわゆる高位な部類に属する高
  39. 　　級言語である。１９６０年代終わりから７０年代初期のころ、Ｎ．ヴィルトという
  40. 　　スイス工科大学の先生が開発した。開発に当たって２つの目標があった。
  41. 　　　　・　プログラミング教育に適した言語にすること
  42. 　　　　・　信頼性が高く、効率の良い言語処理系を開発すること
  43.  
  44. 　　　この２つの目標は、どちらも大きな成果を収め、世界的に認められる言語となっ
  45. 　　たのである。さらに、１９８２年、今までのあいまいな言語仕様を見直し、処理系
  46. 　　による解釈の違いをなくし、より広く使われるようＩＳＯ７１８５規格として制定
  47. 　　された。これをＩＳＯ　Ｐａｓｃａｌあるいは標準Ｐａｓｃａｌと呼ぶ。
  48. 　　　ＩＳＯ　Ｐａｓｃａｌには整合配列をサポートした水準１と、整合配列を落とし
  49. 　　た水準０とがあるが、ＨＡＰＰｙは水準０にほぼ準拠し、一部機能を落としたサブ
  50. 　　セットである。本資料では、ＨＡＰＰｙにおけるＰａｓｃａｌの文法を記述する。
  51. 　　また、標準Ｐａｓｃａｌとの違いも合わせて述べる。
  52.  
  53.  
  54.  
  55. ２．Ｐａｓｃａｌの特徴
  56.  
  57. 　　　Ｐａｓｃａｌは、教育用プログラミング言語として開発されてから既に２０年以
  58. 　　上の歴史がある。現在でも大学等のプログラミング教育用、アルゴリズム記述用と
  59. 　　して、すっかり定着している。以下に特徴を列挙する。
  60.  
  61. 　・　ＦＯＲＴＲＡＮ，ＰＬ／Ｉ，ＢＡＳＩＣ，Ｃ，ＣＯＢＯＬ等と同じ手続き型言語
  62. 　　　である。プログラミングは、データ構造の定義と、処理の流れの制御、変数への
  63. 　　　代入等によって行われる。
  64.  
  65. 　・　すべての変数、定数、関数は型を持っている。型が合わないもの同士の代入、演
  66. 　　　算などがコンパイル時に検査される。型を意識したコーディングを行う必要があ
  67. 　　　るので、信頼性の高いプログラムが作りやすい。
  68.  
  69. 　・　すべての名前は原則的に使用前に宣言しておく必要がある。このため、つまらな
  70. 　　　いコーディングミスがコンパイル時にチェックできる。
  71.  
  72. 　・　ＰＬ／Ｉのように自動型変換、省略時解釈の機能がほとんどなく、すべて明示的
  73. 　　　に示さなければならない。これがプログラムの読みやすさにつながる。
  74.  
  75. 　・　柔軟性に富んだデータ構造を表現できる。データの型は自由に作成できる。
  76.  
  77. 　・　文法が簡潔であり、プログラミングに必要な制御構造がすっきりと表現できる。
  78.  
  79. 　・　言語処理系の作りやすさを考えた文法になっている。
  80.  
  81. 　・　Ｃ言語のようなコンピュータ臭さを感じさせる文法はほとんどない。
  82.  
  83. 　・　標準手続き、標準関数に、基本的なものしか用意されていない。このため、本格
  84. 　　　的なソフト開発を行うためには、言語の拡張をしなければならない。
  85.  
  86. 　・　Ｐａｓｃａｌは、１つのプログラムで処理が完結することを前提に設計されてお
  87. 　　　り、分割コンパイル機能がない。このため言語の拡張をしなければ、大規模なソ
  88. 　　　フト開発には不向きである。
  89.  
  90. 　・　対話処理に向いた入出力インターフェースを持っていない。
  91.  
  92. 　・　手続き・関数を入れ子にすると、ソーステキスト上、データの定義部と実行部が
  93. 　　　離れてしまい、読みにくくなる。
  94.  
  95. 　・　メインルーチンを一番最後に書かなければならなく、プログラムを下から上へと
  96. 　　　読まなければならないため、やや不自然である。
  97.  
  98.  
  99. 　　　このように、良い点、悪い点といろいろとある。
  100. 　　　Ｃ言語に慣れてしまった人にとって、すべてきっちり書く必要があるＰａｓｃａ
  101. 　　ｌはまどろっこしく感じるかもしれない。しかし、教育用、プログラミング作法用
  102. 　　として見た場合、このようなきっちりした書き方を要求される言語の方が適してい
  103. 　　ると思われる。
  104.  
  105.  
  106.  
  107. ３．文法の記述方法
  108.  
  109. 　　　構文規則については、拡張ＢＮＦ（バッカス・ナウア記法）で記述する。
  110. 　　　本当は構文図も合わせて書きたいところだが、曲線などが普通のＤＯＳ文書では
  111. 　　表現できないので、構文図は記述しない。必要であれば参考書を参照されたい。
  112. 　　　構文規則では表現できない意味上の規則については、普通の文章で表現する。
  113. 　　　その他、随所に例をのせておく。
  114. 　　　ＨＡＰＰｙの文法をまず記述し、標準Ｐａｓｃａｌと食い違いがある場合には、
  115. 　　標準Ｐａｓｃａｌの方の文法も説明する。構文規則上では、ＨＡＰＰｙと標準Ｐａ
  116. 　　ｓｃａｌの間に違いはないが、ＨＡＰＰｙの方が、機能的にやや縮小しているし、
  117. 　　文法チェックをさぼっている部分がある。
  118.  
  119. 　　　拡張ＢＮＦで用いる記号を以下の表に示す。
  120.  
  121. 　　　┌─────┬───────────────────────┐
  122. 　　　│　超記号　│　意　　　　　味　　　　　　　　　　　　　　　│
  123. 　　　├─────┼───────────────────────┤
  124. 　　　│　　＝　　│定義する　　　　　　　　　　　　　　　　　　　│
  125. 　　　│　　｜　　│または　　　　　　　　　　　　　　　　　　　　│
  126. 　　　│　　．　　│定義の終わり　　　　　　　　　　　　　　　　　│
  127. 　　　│　［ｘ］　│ｘまたは空　　　　　　　　　　　　　　　　　　│
  128. 　　　│　｛ｘ｝　│ｘを０個以上並べたもの　　　　　　　　　　　　│
  129. 　　　│（ｘ｜ｙ）│ｘまたはｙ（一つの単位として扱うために用いる）│
  130. 　　　│“ｘｙｚ”│終端記号ｘｙｚ　　　　　　　　　　　　　　　　│
  131. 　　　│　超名称　│非終端記号　　　　　　　　　　　　　　　　　　│
  132. 　　　└─────┴───────────────────────┘
  133.  
  134. 　　　例えば、拡張ＢＮＦは、自分自身を用いて定義すると次のようになる。
  135.  
  136. 　　　構文　　　　＝　｛生成規則｝
  137. 　　　生成規則　　＝　非終端記号“＝”式“．”．
  138. 　　　式　　　　　＝　項｛“｜”項｝．
  139. 　　　項　　　　　＝　因子｛因子｝．
  140. 　　　因子　　　　＝　非終端記号｜終端記号｜“（”式“）”
  141. 　　　　　　　　　　　　　　　　｜“［”式“］”｜“｛”式“｝”．
  142. 　　　終端記号　　＝　“““”文字｛文字｝“”””．
  143. 　　　非終端記号　＝　日本語
  144.  
  145. 　　　　　　注意）　”自身を記述するために、””と２個続けている。
  146.  
  147. 　　　Ｐａｓｃａｌの構文規則を生成させる最初の超名称は、プログラムである。
  148.  
  149.  
  150.  
  151. ４．記号と記号分離子
  152.  
  153. 　　　この章では、Ｐａｓｃａｌのプログラムを記述するための文字セット、及びプロ
  154. 　　グラムを構成する記号、記号分離子について説明する。
  155. 　　　Ｐａｓｃａｌのプログラムは、構文規則に従って記号を並べたものである。
  156. 　　　記号は大別して、次のものからなる。
  157. 　　　　　特殊記号　名前　指令　数　ラベル　文字列
  158. 　　　記号と記号との間には、記号分離子があっても良い。
  159.  
  160.  
  161. ４．１　文字セット
  162.  
  163. 　　　ＨＡＰＰｙは日本語ＭＳ－ＤＯＳ配下で動作するため、使用文字セットはＭＳ－
  164. 　　ＤＯＳ定義のＪＩＳコードである。
  165. 　　　なお、漢字についてはシフトＪＩＳコードで表す。
  166. 　　　Ｐａｓｃａｌで記号要素として認められる文字は次のとおりである。
  167. 　　　　A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
  168. 　　    a b c d e f g h i j k l m n o p q r s t u v w x y z 
  169. 　　    0 1 2 3 4 5 6 7 8 9 
  170. 　　    @ ' ( ) * + , - . / ; : < = > ＾[ ] ｛  ｝
  171.  
  172. 　　  これ以外の文字が記号分離子、文字列以外に現れたら不当文字エラーとなる。
  173.  
  174. 　　　ＨＡＰＰｙでは、文字列用の文字として認められるのはテキストエディタで入れ
  175. 　　られるものならばすべて良い。文字の順序数に関しては、「ＪＩＳ　Ｃ６２２０　
  176. 　　８ビットコード表」に定義されている値が基準でその未定義部にシフトＪＩＳコー
  177. 　　ドを割りあてた下表の通りである。
  178. 　　　漢となっているものは、シフトＪＩＳの漢字コード第１バイト目になるものであ
  179. 　　る。未となっているものは、ＪＩＳ規格で未定義のもので使用しているマシンによ
  180. 　　って割り当たる文字が違うものである。
  181.  
  182. 　　　上位　00  16  32  48  64  80  96 102 128 144 160 176 192 206 224 240
  183. 　　　下位┌───────────────────────────────┐
  184. 　　　　 0│NUL DLE SP  ０　＠　Ｐ　`　 ｐ　未　漢　未　ー　タ　ミ　漢　漢│
  185. 　　　　 1│SOH DC1 ！　１　Ａ　Ｑ　ａ　ｑ　漢　漢　。　ア　チ　ム　漢　漢│
  186. 　　　　 2│STX DC2 ”　２　Ｂ　Ｒ　ｂ　ｒ　漢　漢　「　イ　ツ　メ　漢　漢│
  187. 　　　　 3│ETX DC3 ＃　３　Ｃ　Ｓ　ｃ　ｓ　漢　漢　」　ウ　テ　モ　漢　漢│
  188. 　　　　 4│EOT DC4 ＄　４　Ｄ　Ｔ　ｄ　ｔ　漢　漢　、　エ　ト　ヤ　漢　漢│
  189. 　　     5│ENQ NAK ％　５　Ｅ　Ｕ　ｅ　ｕ　漢　漢　・　オ　ナ　ユ　漢　漢│
  190. 　　     6│ACK SYN ＆　６　Ｆ　Ｖ　ｆ　ｖ　漢　漢　ヲ　カ　ニ　ヨ　漢　漢│
  191. 　　     7│BEL ETB ’　７　Ｇ　Ｗ　ｇ　ｗ　漢　漢　ァ　キ　ヌ　ラ　漢　漢│
  192. 　　     8│ BS CAN （　８　Ｈ　Ｘ　ｈ　ｘ　漢　漢　ィ　ク　ネ　リ　漢　漢│
  193. 　　     9│ HT  E  ）　９　Ｉ　Ｙ　ｉ　ｙ　漢　漢　ゥ　ケ　ノ　ル　漢　漢│
  194. 　　    10│ LF SUB ＊　：　Ｊ　Ｚ　ｊ　ｚ　漢　漢　ェ　コ　ハ　レ　漢　漢│
  195. 　　　　11│ VT ESC ＋　；　Ｋ　［　ｋ　｛　漢　漢　ォ　サ　ヒ　ロ　漢　漢│
  196. 　　    12│ FF  FS ，　＜　Ｌ　￥　ｌ　｜　漢　漢　ャ　シ　フ　ワ　漢　漢│
  197. 　　    13│ CR  GS －　＝　Ｍ　］　ｍ　｝　漢　漢　ュ　ス　ヘ　ン　漢　未│
  198. 　　　　14│ SO  RS ．　＞　Ｎ　＾　ｎ　￣　漢　漢　ョ　セ　ホ　ﾞ　 漢　未│
  199. 　　　　15│ SI  US ／　？　Ｏ　＿　ｏ DEL  漢　漢　ッ　ソ　マ　ﾟ　 漢　未│
  200. 　　　　　└───────────────────────────────┘
  201.  
  202.  
  203. 　　　英字　＝　"A" ｜"B" ｜"C" ｜"D" ｜"E" ｜"F" ｜"G" ｜"H" ｜"I" ｜"J" ｜
  204. 　　            "K" ｜"L" ｜"M" ｜"N" ｜"O" ｜"P" ｜"Q" ｜"R" ｜"S" ｜"T" ｜
  205. 　　            "U" ｜"V" ｜"W" ｜"X" ｜"Y" ｜"Z" ｜
  206. 　　            "a" ｜"b" ｜"c" ｜"d" ｜"e" ｜"f" ｜"g" ｜"h" ｜"i" ｜"j" ｜
  207. 　　            "k" ｜"l" ｜"m" ｜"n" ｜"o" ｜"p" ｜"q" ｜"r" ｜"s" ｜"t" ｜
  208. 　　            "u" ｜"v" ｜"x" ｜"y" ｜"z"  .
  209.  
  210. 　　  文字列、注釈以外において、英大文字の記述は、小文字で記述したものと等価で
  211. 　　ある。したがって、
  212. 　　　　　　　ＨＡＰＰｙ　　　Ｈａｐｐｙ　　ｈａｐｐｙ
  213. 　　は、みな同じ意味を持つ。
  214. 　　  ＨＡＰＰｙ及び標準Ｐａｓｃａｌでは、ＴＵＲＢＯ　Ｐａｓｃａｌのように、
  215. 　　英字の中に　“＿”（アンダーバー）を入れていないので注意すること。
  216.  
  217.  
  218. 　　　　数字　＝　"0" ｜"1" ｜"2" ｜"3" ｜"4" ｜"5" ｜"6" ｜"7" ｜"8" ｜"9" . 
  219.  
  220.  
  221. ４．２　特殊記号
  222.  
  223. 　　　特殊記号は、特別な意味をもった字句である。特殊記号中の予約語と呼ばれるも
  224. 　　のは、Ｐａｓｃａｌのプログラムの中で別の意味に使うことのできない固定的な意
  225. 　　味を持つものである。
  226.  
  227. 　　　　特殊記号　＝　"+" ｜"-" ｜"*" ｜"/" ｜
  228. 　　                  "=" ｜"<>"｜"<”｜"<="｜">" ｜">="｜
  229. 　　　　　　　　　　　"(" ｜")" ｜"[" ｜"]" ｜":="｜"." ｜".."｜
  230. 　　                  ":" ｜";" ｜"^" ｜予約語　．
  231.  
  232. 　　　　予約語　＝　"div" ｜"mod" ｜"nil" ｜"in"｜"or"｜"and" ｜
  233. 　　                "not" ｜"if"｜"then"｜"else"｜"case"｜"of"｜
  234. 　　                "repeat"｜"until" ｜"while" ｜"do"｜"for" ｜
  235. 　　                "with"｜"const" ｜"var" ｜"type"｜"array" ｜
  236. 　　                "record"｜"set" ｜"file"｜"function"｜
  237. 　　                "procedure" ｜"label" ｜"packed"｜"program" . 
  238.  
  239.  
  240. ４．３　名前
  241.  
  242. 　　　名前は、定数、型、変数、手続き、関数、レコードの欄の名前に用いる。
  243. 　　　名前の長さは、標準Ｐａｓｃａｌでは無制限であるが、ＨＡＰＰｙでは、最初の
  244. 　　３２文字までを識別し、それ以降を無視する。
  245. 　　　したがって、次の名前は同じものとして扱われる。
  246. 　　　　　HAPPyistheHAsanoPascalProcessingsystem
  247. 　　　　　HAPPyistheHAsanoPascalProcessingsystemIamHappy
  248. 　　　どのような名前も、予約語と同じであってはならない。
  249. 　　　すべての名前は、特定の意味を持つように宣言または定義が必要である。ただし
  250. 　　いくつかの標準の名前は定義済である。
  251. 　　　名前は、その宣言または定義の有効範囲の中で別の意味を持たせることができな
  252. 　　い。
  253.  
  254. 　　　　名前　＝　英字｛英字｜数字｝．
  255.  
  256.  
  257. ４．４　指令
  258.  
  259. 　　　指令は、名前と同じ形をしているが、手続きや関数の定義方法を定めるのに用い
  260. 　　る。標準Ｐａｓｃａｌ及びＨＡＰＰy の指令は、ｆｏｒｗａｒｄ　だけである。
  261. 　　ｆｏｒｗａｒｄの働きについては、手続き・関数の章で説明する。
  262.  
  263. 　　　　　指令　＝　英字｛英字｜数字｝．
  264.  
  265.  
  266. ４．５　数
  267.  
  268. 　　　数は、整数及び実数を１０進数で表記する。符号なし整数は整数型（integer)、
  269. 　　符号なし実数は実数型(real)の定数である。
  270. 　　　符号なし実数において、指数部の前の英字“ｅ”は１０のべき乗を意味する。
  271. 　　“ｅ”は、“Ｅ”と指定しても良い。
  272. 　　　符号つき数は、テキストファイルからｒｅａｄ、ｒｅａｄｌｎ標準手続きで数値
  273. 　　入力できる形式である。
  274.  
  275. 　　　符号なし数　＝　符号なし整数　｜　符号なし実数　．
  276. 　　　符号なし整数＝　数字列
  277. 　　　符号なし実数＝　符号なし整数“．”数字列［“ｅ”指数部］　｜
  278. 　　　　　　　　　　　符号なし整数“ｅ”指数部　．
  279. 　　　指数部　　　＝　［符号］符号なし整数　．
  280. 　　　符号　　　　＝　“＋”　｜　“－”　．
  281. 　　　数字列　　　＝　数字｛数字｝．
  282. 　　　符号つき数　＝　符号つき整数　｜　符号つき実数　．
  283. 　　　符号つき整数＝　［符号］符号なし整数　．
  284. 　　　符号つき実数＝　［符号］符号なし実数　．
  285.  
  286. 　　　符号なし整数は、定義済の標準定数ｍａｘｉｎｔ以下でなければならない。
  287. 　　　ＨＡＰＰy では、ｍａｘｉｎｔは次のように定義されている。
  288. 　　　　　ｍａｘｉｎｔ　＝　２１４７４８３６４７
  289.  
  290.       ＨＡＰＰｙでは、符号なし実数は１５文字以内で表記しなければならない。
  291.       例えば、次のような表記はコンパイルエラーとなる。(標準PascalではOK)
  292.       　　　00000003.14e000000
  293.       ＨＡＰＰｙでは、符号なし実数の値が、３．４ｅ３８を越えられない。
  294.       これよりも大きな値を指定すると、コンパイルエラーとなる。
  295.       また、実行段階の演算途中で、これよりも大きな値となると、ランタイムエラー
  296.     となり、実行が打ち切られる。＋－３．４－ｅ３８よりも小さい値の時は、０とみ
  297.     なされる。
  298.  
  299. 　　　符号なし整数の例
  300. 　　　　　１　　　　　９８２９４９９　０００００５３２４
  301. 　　　符号なし実数の例
  302. 　　　　　０．０１　　０．５ｅ－５　　８７３．５５Ｅ＋２３　　　１Ｅ３
  303. 　　　注意）
  304. 　　　　. ００５　のように、実数の整数部分を省略する表記はできない。
  305.  
  306.  
  307. ４．６　ラベル
  308.  
  309. 　　　ラベルは、ｇｏｔｏ文の飛び先を表す。ラベルは０以上９９９９以下の値を持つ
  310. 　　整数でなければならない。
  311.  
  312. 　　　ラベル　＝　数字列　．
  313.  
  314.  
  315. ４．７　文字列
  316.  
  317. 　　　文字列は、文字の列を　’（アポストロフィ）で囲んで表す。
  318. 　　　’自身を文字列中に記述する時は、’を２個並べて　’’として表す。
  319. 　　　文字列に指定できる文字は、ＭＳ－ＤＯＳのテキストとして表現できるものであ
  320. 　　ればなんでも良い（改行は除く）。漢字のような全角文字はシフトＪＩＳコード体
  321. 　　系を持つものとする。
  322. 　　　文字列の長さは、通常の文字の時は、１文字につき１、全角文字は１文字につき
  323. 　　２であるとして数える。文字列の長さが０であってはならない。
  324. 　　　文字列の長さが１の時は、文字型(char)を持つ定数である。
  325. 　　　文字列の長さが２以上の時は、文字列型を持つ定数である。
  326. 　　　文字列は、プログラムテキスト上の１行内に記述しなければならない。つまり、
  327. 　　文字列の途中で改行してはいけない。
  328. 　　　ＨＡＰＰｙでは、文字列の長さに制限があり、２５６以内でなければならない。
  329.  
  330. 　　  文字列　　　＝　“’”文字列要素｛文字列要素｝“’”　．
  331. 　　　文字列要素　＝　“’’”｜アポストロフィ以外の任意の文字　．
  332.  
  333. 　　　　文字列の例
  334. 　　　　　'HAPPy is the H.Asano Pascal Processing system.'
  335. 　　      'let''s program'
  336. 　　      ' ようこそPascalの世界へ' 
  337.  
  338.  
  339. ４．８　記号分離子
  340.  
  341. 　　　記号分離子は、２つの隣りあう記号の間、またはプログラムの最初の記号（ｐｒ
  342. 　　ｏｇｒａｍ）の前に書くことができる。
  343. 　　　名前、予約語、ラベル、符号なし数が続く時は、その間に必ず記号分離子を置か
  344. 　　なければならない。
  345.  
  346. 　　　記号分離子　＝　空白　｜　改行　｜　注釈　．
  347. 　　　注釈　　　　＝　（“｛”｜“（＊”）｛注釈要素｝（“｝”｜“＊）”）　．
  348.  
  349. 　　　注釈要素は、“｝”または“＊）”を含まない任意の文字の列であり、改行があ
  350. 　　っても良い。ＨＡＰＰｙでは、漢字を書いても良い。
  351. 　　　　空白と、改行は、コンパイラにとっては同じ意味となる。
  352. 　　　ＨＡＰＰｙでは、水平タブ（コード０９）も空白と同じ意味と扱う。
  353.  
  354. 　　　注意）　｛．．．＊）　（＊．．．｝　などのように、注釈のはじまりと終わり
  355. 　　　　　　　が違う種類であっても良い。
  356. 　　　注意）　ＨＡＰＰｙでは、注釈の中にシフトＪＩＳコードの漢字の１バイト目の
  357. 　　　　　　　コードが現れた場合、次の１文字を読み飛ばしている。日本語ＭＳ－Ｄ
  358. 　　　　　　　ＯＳでないマシンを使ってい場合、漢字表現でないこのような文字の組
  359. 　　　　　　　合せが注釈中に現れ得る。その場合は、注釈の終わりとは見なされない
  360. 　　　　　　　ので、注意すること。
  361.  
  362. 　　  ＨＡＰＰｙには、注釈の中に、コンパイラに対する指示を記述できる。
  363. 　　指示は、下表のような形で指定する。注釈の開始の｛または（＊にすぐ続けて＄を
  364. 　　書き、続けてｄまたはｔ、そして＋または－を指定する。間に空白などを置くと、
  365. 　　指示と見なされない。＋または─の後の指定内容は関知しない。
  366.  
  367. 　　　　┌────┬─────────────┐
  368. 　　　　│　指示　│　　動          作　　　　│
  369. 　　　　├────┼─────────────┤
  370. 　　　　│｛$d+ ｝│検査コードを生成する      │
  371. 　　　　│｛$d- ｝│検査コードを生成しない    │
  372. 　　　　│｛$t+ ｝│ここよりトレースをとる　　│
  373. 　　  　│｛$t- ｝│ここよりトレースをやめる　│
  374. 　　　　└────┴─────────────┘
  375.  
  376. 　　　各指示の詳しい動作については、「ＨＡＰＰｙ操作説明書「OPERATE.DOC)」を参
  377. 　　照のこと。
  378.  
  379.  
  380. ４．９　代替表現
  381.  
  382. 　　　次に示す字句の表現に代替表現の字句を用いても良い。昔のマシンには、基準表
  383. 　　現の文字セットが使えないものがあったためである。
  384.  
  385. 　　　　　┌──┬──┐
  386. 　　　　　│基準│代替│　　　　注意）　標準Ｐａｓｃａｌでは、“↑”を基
  387. 　　　　　├──┼──┤　　　　　　　準にしているが、ＨＡＰＰｙでは、
  388. 　　　　　│＾　│＠　│　　　　　　　“＾”を使用する。“↑”を指定する
  389. 　　　　　│［　│（．│　　　　　　　と不当文字エラーとなるので注意する
  390. 　　　　　│］　│．）│　　　　　　　こと。
  391. 　　　　　│｛　│（＊│
  392. 　　　　　│｝　│＊）│
  393. 　　　　　└──┴──┘
  394.  
  395.  
  396.  
  397. ５．定数定義
  398.  
  399. 　　　定数定義は、値を表すための定数名と、それに対する定数によって定義する。
  400. 　　　定義しようとする定数名が、自分自身の定数部に現れてはならない。例えば、
  401. 　　　　ａ＝　－ａ　　とは記述できない。
  402. 　　　定数定義は、定数定義部にまとめて記述する。
  403.  
  404. 　　　　定数定義部　＝　［“ｃｏｎｓｔ”定数定義“；”｛定数定義“；”｝］．
  405. 　　　　定数定義　　＝　名前“＝”定数　．
  406. 　　　　定数　　　　＝　［符号］｛符号なし数｝｜定数名｜文字列　．
  407. 　　　　定数名　　　＝　名前　．
  408.  
  409. 　　　＋，－の符号を付けられる定数名は、整数型または実数型の値を表すものでなけ
  410. 　　ればならない。
  411.  
  412. 　　　標準の定義済定数名は、次の３つである。
  413. 　　　　　　ｍａｘｉｎｔ
  414. 　　　　　　ｆａｌｓｅ
  415. 　　　　　　ｔｒｕｅ
  416. 　　　ｍａｘｉｎｔは、整数型の定数名で、処理系によって定義値が異なっている。
  417. 　　ＨＡＰＰｙでは
  418. 　　　　ｍａｘｉｎｔ　＝　２１４７４８３６４７
  419. 　　と定義してある。
  420. 　　　　ｆａｌｓｅ，ｔｒｕｅは、論理型(Boolean) を持つ定数である。
  421. 　　　　ｆａｌｓｅは、論理値が偽、ｔｒｕｅは論理値真を表す。
  422. 　　　　ｏｒｄ（ｆａｌｓｅ）は０、ｏｒｄ（ｔｒｕｅ）は１である。
  423.  
  424.  
  425. 　　定数定義部の例
  426.  
  427. 　　　const 
  428. 　　     name   =  'HAPPy' ;
  429. 　　　　 pai    =  3.14    ;
  430. 　　     e      =  2.71728 ;
  431. 　　     N      =  32767   ;
  432. 　　     MinusN = -N       ;
  433.  
  434.  
  435.  
  436.  
  437.          －－－－－－　ここより先は、未完成です　－－－－－－
  438.  
  439.  
  440.  
  441.  
  442. 　　文法書が、未完成のまま終わってしまったので、それを補う形で、いろいろと
  443. 　文法のまとめを書いておきます。
  444.  
  445.  
  446. ★　型の一覧
  447.  
  448. 　　　　┌─単純型─┬─順序型　─┬─列挙型　( (X,X,X,X) ) 
  449. 　　　　│　　　　　│　　　　　　│
  450. 　　　　│　　　　　│　　　　　　├─定義済順序型──┬─整数型 (integer)
  451. 　　　　│　　　　　│　　　　　　│　　　　　　　　　│
  452. 　　　　│　　　　　│　　　　　　│　　　　　　　　　├─実数型 (real) 
  453. 　　型─┤　　　　　│　　　　　　│　　　　　　　　　│
  454. 　　　　│　　　　　│　　　　　　│　　　　　　　　　├─文字型 (char) 
  455. 　　　　│　　　　　│　　　　　　│　　　　　　　　　│
  456. 　　　　│　　　　　│　　　　　　│　　　　　　　　　└─論理型 (Boolean)
  457. 　　　　│　　　　　│　　　　　　│
  458. 　　　　│　　　　　│　　　　　　└─部分範囲型  (  X .. X ) 
  459. 　　　　│　　　　　│
  460. 　　　　│　　　　　└─実数型 (real) 
  461. 　　　　│
  462. 　　　　├─構造型─┬─配列型　───┬──詰めなし配列型
  463. 　　　　│　　　　　│ (array of ...) └──詰めあり配列型───文字列型
  464. 　　　　│　　　　　│　　　　　　　　　　　　　 (packed array[1..x] of char) 
  465. 　　　　│　　　　　├─ファイル型──┬──詰めなしファイル型
  466. 　　　　│　　　　　│ (file of ...)　└──詰めありファイル型 (packed file)
  467. 　　　　│　　　　　│
  468. 　　　　│　　　　　├─レコード型──┬──詰めなしレコード型
  469. 　　　　│　　　　　│(record ... end)└──詰めありレコード型 (packed record)
  470. 　　　　│　　　　　│
  471. 　　　　│　　　　　└─集合型────┬──詰めなしレコード型
  472. 　　　　│　　　　　　 (set of ... )  └──詰めありレコード型 (packed set) 
  473. 　　　　│
  474. 　　　　└─ポインタ型  ( ＾x ) 
  475.  
  476.  
  477.  
  478. ★  変数の一覧
  479.  
  480.         　　　　┌─純変数　( xxx ) 
  481. 　　　　　　　　│
  482. 　　　　変数──┼─要素変数─┬─添字つき変数　( xxx[xxx] )
  483. 　　　　　　　　│　　　　　　│
  484. 　　　　　　　　│　　　　　　└─欄指定子　( xxx.xxx ) 
  485. 　　　　　　　　│
  486. 　　　　　　　　├─対象変数　    ( xxx ＾) 
  487. 　　　　　　　　│
  488. 　　　　　　　　└─バッファ変数　( xxx ＾) 
  489.  
  490.  
  491.  
  492. ★　文の一覧
  493.  
  494. 　　　　　　┌─単純文─┬─空文
  495. 　　　　　　│　　　　　│
  496. 　　　文──┤　　　　　├─代入文     ( x := x )
  497. 　　　　　　│　　　　　│
  498. 　　　　　　│　　　　　├─手続き呼出し文
  499. 　　　　　　│　　　　　│
  500. 　　　　　　│　　　　　└─ｇｏｔｏ文
  501. 　　　　　　│
  502. 　　　　　　└─構造文─┬─複合文    (begin ... end )
  503. 　　　　　　　　　　　　│
  504. 　　　　　　　　　　　　├─条件文───┬─ｉｆ文
  505. 　　　　　　　　　　　　│　　　　　　　│
  506. 　　　　　　　　　　　　│　　　　　　　└─ｃａｓｅ文
  507. 　　　　　　　　　　　　│
  508. 　　　　　　　　　　　　├─繰り返し文─┬─ｗｈｉｌｅ文
  509. 　　　　　　　　　　　　│　　　　　　　│
  510. 　　　　　　　　　　　　│　　　　　　　├─ｒｅｐｅａｔ文
  511. 　　　　　　　　　　　　│　　　　　　　│
  512. 　　　　　　　　　　　　│　　　　　　　└─ｆｏｒ文
  513. 　　　　　　　　　　　　│
  514. 　　　　　　　　　　　　└─ｗｉｔｈ文
  515.  
  516.  
  517. ★　演算子の一覧
  518.  
  519. 　　　　　　　　┌─算術演算子　──┬─　＋　　　　　加算　または　恒等
  520. 　　　　　　　　│　　　　　　　　　├─　－　　　　　減算　または　符号反転
  521. 　　　演算子──┤　　　　　　　　　├─　＊　　　　　乗算
  522. 　　　　　　　　│　　　　　　　　　├─　ｄｉｖ　　　整数除算
  523. 　　　　　　　　│　　　　　　　　　├─　／　　　　　実数除算
  524. 　　　　　　　　│　　　　　　　　　└─　ｍｏｄ　　　剰余
  525. 　　　　　　　　│
  526. 　　　　　　　　├─関係演算子　──┬─　＝　　　　　等しい
  527. 　　　　　　　　│　　　　　　　　　├─　＜＞　　　　等しくない
  528. 　　　　　　　　│　　　　　　　　　├─　＜　　　　　より小さい
  529. 　　　　　　　　│　　　　　　　　　├─　＞　　　　　より大きい
  530. 　　　　　　　　│　　　　　　　　　├─　＜＝　　　　等しいか小さい
  531. 　　　　　　　　│　　　　　　　　　├─　＞＝　　　　等しいか大きい
  532. 　　　　　　　　│　　　　　　　　　└─　ｉｎ　　　　集合要素の判定
  533. 　　　　　　　　│
  534. 　　　　　　　　├─論理演算子───┬─　ｎｏｔ　　　否定
  535. 　　　　　　　　│　　　　　　　　　├─　ｏｒ　　　　論理和
  536. 　　　　　　　　│　　　　　　　　　└─　ａｎｄ　　　論理積
  537. 　　　　　　　　│
  538. 　　　　　　　　└─集合演算子───┬─　＋　　　　　和集合
  539. 　　　　　　　　　　　　　　　　　　├─　－　　　　　差集合
  540. 　　　　　　　　　　　　　　　　　　└─　＊　　　　　積集合
  541.  
  542. ★　演算子の優先順位
  543.  
  544. 　　　　高
  545. 　　　　↑　　ｎｏｔ
  546. 　　　　│　　＊　／　ｄｉｖ　ｍｏｄ　ａｎｄ
  547. 　　　　│　　＋　－  ｏｒ
  548. 　　　　│　　＝　＜＞　＞　＜　＞＝　＜＝
  549. 　　　　↓　　ｉｎ
  550. 　　　　低
  551.  
  552. 　　　優先順位は　（　）で囲むと変更できる
  553.  
  554.  
  555.  
  556. ★　定義・宣言済標準名一覧
  557.  
  558. 　　┌─┬─────┬───────────────────────────┐
  559. 　　│　│標準名　　│　　　　　　　　　　意　　　　　味　　　　　　　　　　│
  560. 　　├─┼─────┼───────────────────────────┤
  561. 　　│定│false 　　│論理型を持つ。論理値偽を表す。ord(false)は0 　　　　　│
  562. 　　│数├─────┼───────────────────────────┤
  563. 　　│　│true  　　│論理型を持つ。論理値真を表す。ord(true) は1 　　　　　│
  564. 　　│　├─────┼───────────────────────────┤
  565. 　　│　│maxint　　│最大符号なし整数値  HAPPy では、2147483647　　　　　　│
  566. 　　├─┼─────┼───────────────────────────┤
  567. 　　│　│integer 　│整数型　 -maxint  から + maxint までの値をとる　　　　│
  568. 　　│型├─────┼───────────────────────────┤
  569. 　　│　│char　　　│文字型    順序数0 ～255 までの文字の値をとる　　　　　│
  570. 　　│　├─────┼───────────────────────────┤
  571. 　　│　│real  　　│実数型　　HAPPyでは +-3.4E+-38 の範囲   　　　　　　　│
  572. 　　│　├─────┼───────────────────────────┤
  573. 　　│　│Boolean   │論理型　  true または false  の２値をとる　　　　　   │
  574. 　　│　├─────┼───────────────────────────┤
  575. 　　│　│text　　　│テキストファイル型　　　　　　　　　　　　　　　　　　│
  576. 　　├─┼─────┼───────────────────────────┤
  577. 　　│変│input 　　│標準入力ファイル　　      　　　　　　　　　　　　　　│
  578. 　　│数├─────┼───────────────────────────┤
  579. 　　│　│output　　│標準出力ファイル　　　　　　　　　　　　　　　　　　　│
  580. 　　├─┼─────┼───────────────────────────┤
  581. 　　│　│abs 　　　│絶対値を求める　　　　　　　　　　　　　　　　　　　　│
  582. 　　│　├─────┼───────────────────────────┤
  583. 　　│標│arctan　　│逆正接関数  　　　　　　　　　　　　　　　　　　　　　│
  584. 　　│　├─────┼───────────────────────────┤
  585. 　　│  │chr   　　│順序数に対応する文字を求める　　　　　　　　　　　　　│
  586. 　　│準├─────┼───────────────────────────┤
  587. 　　│  │cos 　　　│cos 関数　　　　　　　　　　　　　　　　　　　　　　　│
  588. 　　│  ├─────┼───────────────────────────┤
  589. 　　│関│eof 　　　│ファイルの終わりかどうかの判定　　　　　　　　　　　　│
  590. 　　│　├─────┼───────────────────────────┤
  591. 　　│　│eoln　　　│テキストファイルの行の終わりかの判定　　　　　　　　　│
  592. 　　│数├─────┼───────────────────────────┤
  593. 　　│　│exp 　　　│自然対数のx 乗を求める　　　　　　　　　　　　　　　　│
  594. 　　│　├─────┼───────────────────────────┤
  595. 　　│　│ln　　　　│自然対数　　　　　　　　　　　　　　　　　　　　　　　│
  596. 　　│　├─────┼───────────────────────────┤
  597. 　　│　│odd 　　　│奇数の判定　　　　　　　　　　　　　　　　　　　　　　│
  598. 　　│　├─────┼───────────────────────────┤
  599. 　　│　│ord 　　　│順序数を求める　　　　　　　　　　　　　　　　　　　　│
  600. 　　│　├─────┼───────────────────────────┤
  601. 　　│　│pred　　　│１つ小さい値を求める　　　　　　　　　　　　　　　　　│
  602. 　　│　├─────┼───────────────────────────┤
  603. 　　│　│round 　　│四捨五入　　　　　　　　　　　　　　　　　　　　　　　│
  604. 　　│　├─────┼───────────────────────────┤
  605. 　　│　│sin 　　　│sin 関数　　　　　　　　　　　　　　　　　　　　　　　│
  606. 　　│　├─────┼───────────────────────────┤
  607. 　　│　│sqr 　　　│平方を求める　　　　　　　　　　　　　　　　　　　　　│
  608. 　　│　├─────┼───────────────────────────┤
  609. 　　│　│sqrt　　　│平方根を求める　　　　　　　　　　　　　　　　　　　　│
  610. 　　│　├─────┼───────────────────────────┤
  611. 　　│　│succ　　　│１つ大きい値を求める　　　　　　　　　　　　　　　　　│
  612. 　　│　├─────┼───────────────────────────┤
  613. 　　│　│trunc   　│小数点以下の切捨て　　　　　　　　　　　　　　　　　　│
  614. 　　├─┼─────┼───────────────────────────┤
  615. 　　│  │dispose 　│対象変数の解除　　　　　　　　　　　　　　　　　　　　│
  616. 　　│　├─────┼───────────────────────────┤
  617. 　　│　│get 　　　│ファイルから１要素読み込み　　　　　　　　　　　　　　│
  618. 　　│  ├─────┼───────────────────────────┤
  619. 　　│標│new 　　　│対象変数の割り付け　　　　　　　　　　　　　　　　　　│
  620. 　　│　├─────┼───────────────────────────┤
  621. 　　│　│pack　　　│詰めなし配列から詰めあり配列への転送　　　　　　　　　│
  622. 　　│準├─────┼───────────────────────────┤
  623. 　　│　│page　　　│テキストファイルに対する改ページ　　　　　　　　　　　│
  624. 　　│　├─────┼───────────────────────────┤
  625. 　　│手│put 　　　│ファイルへの１要素書き出し　　　　　　　　　　　　　　│
  626. 　　│　├─────┼───────────────────────────┤
  627. 　　│　│read　　　│ファイルからの読み込み　　　　　　　　　　　　　　　　│
  628. 　　│続├─────┼───────────────────────────┤
  629. 　　│　│readln　　│テキストファイルから改行までを読む　　　　　　　　　　│
  630. 　　│　├─────┼───────────────────────────┤
  631. 　　│き│reset 　　│ファイルを検査モードにする　　　　　　　　　　　　　　│
  632. 　　│　├─────┼───────────────────────────┤
  633. 　　│　│rewrite 　│ファイルを生成モードにする　　　　　　　　　　　　　　│
  634. 　　│　├─────┼───────────────────────────┤
  635. 　　│　│unpack　　│詰めあり配列から詰めなし配列への転送　　　　　　　　　│
  636. 　　│　├─────┼───────────────────────────┤
  637. 　　│　│write 　　│ファイルへの書き込み　　　　　　　　　　　　　　　　　│
  638. 　　│　├─────┼───────────────────────────┤
  639. 　　│　│writeln 　│テキストファイルへの改行書き込み　　　　　　　　　　　│
  640. 　　└─┴─────┴───────────────────────────┘
  641.  
  642. 　　　　　　　　　　　　　未完成で本当にごめんなさい
  643.  
  644. 　　　　────────以上 (LANGUAGE.DOC )  終わり─────────
  645.